Dependability modeling and evaluation of recovery block systems

نویسندگان

  • Katerina Goseva-Popstojanova
  • Aksenti Grnarov
چکیده

The paper presents performance modeling and evaluation o f recovery block systems. In order to produce dependability model for complete fault tolerant system we consider the interaction between the faults in the alternatives and the faults in the acceptance test. The study is based on finite slate continuous time Markov model, and unlike previous works, we carry out the analysis in the time domain. The undetected and total failure probabilities (safety and reliability), as well as the average recovery block execution time expressions are obtained. Derived mathematical relations between failure probabilities (i.e. reliability and safety) and modeling parameters enable us t o gain a great deal of quantitative results.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Modeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism

In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...

متن کامل

Modeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism

In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...

متن کامل

MEADEP — A Dependability Evaluation Tool for Engineers

MEADEP is a user-friendly dependability evaluation tool for measurement-based analysis of critical systems. MEADEP consists of four software modules: a data preprocessor for converting data in various formats to the MEADEP format, a data analyzer for graphical data presentation and parameter estimation, a graphical modeling interface for building block diagrams (including the exponential block,...

متن کامل

Dependability Modeling and Evaluation of Software Fault-Tolerant Systems

Abstmct-The paper provides dependability modeling and evaluation (encompassing reliability and safety issues) of the two major fault tolerance software approaches: recovery Mocks (RB) and N-version programming (NVP). The study is based on the detailed analysis of software fault-tolerance architectures able to tolerate a single fault (RB: two alternates and an acceptance test, NVP: three version...

متن کامل

Modeling Dependability of Dynamic Computing Systems

A trend actually characterizing any technological and application field is the use of control and computing devices. This moves the attention of the insiders on the management of more complex processes and systems, modifying requirements, tasks and skills. In this scenario the dependability evaluation becomes strategic. The increasing complexity of systems requires a serious revision of the tec...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1993